/* The driver for the Clock extension.
 * Orel Yorgan   304994858
 * Raanan Lipkin 327348769
 *
 */

void writeTimeToClock(int time);

int readTimeFromClock();
